25 results
CANONICITY IN POWER AND MODAL LOGICS OF FINITE ACHRONAL WIDTH
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 22 March 2023, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 24 October 2019, pp. 611-632
- Print publication:
- September 2020
-
- Article
- Export citation
CHAPTER 3 - THE EXISTENCE PREDICATE
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 103-126
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp i-vi
-
- Chapter
- Export citation
Contents
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp vii-viii
-
- Chapter
- Export citation
CHAPTER 4 - PROPOSITIONAL FUNCTIONS AND PREDICATE SUBSTITUTION
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 127-158
-
- Chapter
- Export citation
INTRODUCTION AND OVERVIEW
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp ix-xiv
-
- Chapter
- Export citation
REFERENCES
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 251-260
-
- Chapter
- Export citation
Quantifiers, Propositions and Identity
- Admissible Semantics for Quantified Modal and Substructural Logics
-
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011
CHAPTER 5 - IDENTITY
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 159-202
-
- Chapter
- Export citation
INDEX
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 261-268
-
- Chapter
- Export citation
CHAPTER 2 - THE BARCAN FORMULAS
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 67-102
-
- Chapter
- Export citation
CHAPTER 6 - COVER SEMANTICS FOR RELEVANT LOGIC
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 203-250
-
- Chapter
- Export citation
CHAPTER 1 - LOGICS WITH ACTUALIST QUANTIFIERS
-
- Book:
- Quantifiers, Propositions and Identity
- Published online:
- 07 September 2011
- Print publication:
- 14 July 2011, pp 1-66
-
- Chapter
- Export citation
CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 09 July 2009, pp. 310-341
- Print publication:
- June 2009
-
- Article
- Export citation
An alternative semantics for quantified relevant logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-187
- Print publication:
- March 2006
-
- Article
- Export citation
A comonadic account of behavioural covarieties of coalgebras
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 2 / April 2005
- Published online by Cambridge University Press:
- 14 March 2005, pp. 243-269
-
- Article
- Export citation
Erdős Graphs Resolve Fine's Canonicity Problem
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 186-208
- Print publication:
- June 2004
-
- Article
- Export citation
Quasi-Modal Equivalence of Canonical Structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 497-508
- Print publication:
- June 2001
-
- Article
- Export citation
Relativised quantification: Some canonical varieties of sequence-set algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-184
- Print publication:
- March 1998
-
- Article
- Export citation